formal synthesis
英 [ˈfɔːml ˈsɪnθəsɪs]
美 [ˈfɔːrml ˈsɪnθəsɪs]
中继合成
双语例句
- Formal synthesis of(±)-mesembrine
（±）-Mesembrine的形式合成 - A Formal Approach to Hardware Synthesis of Parallel Programs
并行程序的一种形式化硬件综合方法 - Their behavior relation formulas have been obtained by two transformations to these operations. Furthermore, we formally prove that these three connection operations satisfy the behavior invariance. These results support a formal tool for dynamic analysis of Petri net models in synthesis process.
本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系，获得他们的语言关系公式，这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具。 - Based on CSP and the formal representation of the process plans in a manufacturing system, a new method of Petri net synthesis for automated manufacturing systems is presented. It provides the rigid foundation for the development of design theory for Petri nets for automated manufacturing systems.
根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Petri网的一种综合方法，为研究复杂系统Petri网的设计理论提供了很好的基础。 - Formal program synthesis approach and synthesizer neat
形式化的程序综合方法及综合器NEAT - This dissertation mainly aims at the design and development of some strategies in the synthetic studies of morphine. Focusing on this issue, the target-oriented methodology was investigated, providing the alternative way to the formal synthesis of morphine.
本论文主要围绕吗啡生物碱的合成研究，通过若干合成策略的设计，对一些新颖的合成方法进行了目标导向的合成应用探讨，为此类生物碱的形式合成研究提供了不同的途径。